7

An implementation of an efficient algorithm for bisimulation equivalence

Year:
1990
Language:
english
File:
PDF, 943 KB
english, 1990